交换代数初步

约定本文中出现的所有环都是含幺交换环。给定环，记它的乘法单位群为，称它的所有素理想构成的集合为它的素谱，称它的所有极大理想构成的集合为它的极大谱。

Noether环/模与Artin环/模

Noether环与Noether模是交换代数中的重要概念，同时也是代数几何中的关键对象，在进行研究时要求被分析的环或模具有Noether性通常被认为是合理的，因为一般而言让人感兴趣的环或模都是Noether的。

Why are noetherian rings such natural objects in algebraic geometry?
The best answer I’ve ever been able to come up with is that the class of noetherian rings contains the classical number rings and and is closed under the formation of polynomial rings, localization, completion, and quotients. So it contains many of the rings you will come across in ordinary situations (whatever that means). It also has the advantage that the definition is tractable enough that if someone hands you an explicit ring, it’s not out of the question to try to work out from scratch whether it’s noetherian. If you’re the kind of person who likes abstract fields, then they’re also included.
On the other hand, I don’t think of it as a truly fundamental concept, like say finite presentation. But there is no denying its convenience. If you need to avoid some infinitary phenomena but you still want a broad class of rings, it’s often hard to beat noetherianness. It’s also quite good in situations where you’re too lazy to work out exactly what finiteness conditions you care about.

相比Noether环和Noether模，具有相似定义的Artin环和Artin模却更加稀少，事实上可以证明所有的Artin环都是Noether环，而Artin模与Noether模互不包含，这使得环和模的Noether性要比Artin性更值得关注。

Noether环

定义 如果交换环的所有理想都是有限生成的，则称是Noether环。

根据上述定义，所有的域和PID都是Noether环。

下面给出Noether环的重要等价刻画。

Noether Ring

给定交换环，是Noether环当且仅当下述条件之一成立：

1. (ACC条件) 满足升链条件，即的任意理想升链 都稳定，换言之，存在整数使得对任意成立。
2. (极大性条件) 中任意由理想构成的非空集合族内都有极大元，即存在使得对于任意的和都有。
3. (原始定义) 的任意理想都是有限生成的。

Hint: 验证 (1) (2) (3) (1):
(1) (2) 反证，在内构造一个不稳定的理想升链。
(2) (3) 给定理想，考虑包含在中的所有有限生成理想的集合，根据极大性条件，内有极大元，如果存在但，注意到依然有限生成，所有，所有有限生成。
(3) (1) 给定一个理想升链，设，则由Noether性可知有限生成，设，设其中的，令，则，进而。

根据上述刻画，有以下几个推论：

1. 设是Noether环，是的真理想，则存在极大理想。特别地，Noether环存在极大理想。
2. 设是Noether环，是的真理想，则商环是Noether环。

其中第一条推论的证明只需对由的全体包含的真理想组成的集族使用极大性条件；第二条推论依赖于环的对应定理，的理想均形如，因为是有限生成的，所以也是有限生成的。

Hilbert Basis Theorem

如果是Noether环，则它的多项式环也是Noether环。

事实上，当是Noether环时，它的幂级数环也是Noether环，中的元素形如

Noether模

Noether Module

给定交换环，是Noether模当且仅当下述条件之一成立：

1. (ACC条件) 满足升链条件，即的任意子模升链 都稳定，换言之，存在整数使得对任意成立。
2. (极大性条件) 中任意由子模构成的非空集合族内都有极大元，即存在使得对于任意的和都有。
3. (原始定义) 的任意子模都是有限生成模。

值得注意的是，环是Noether环当且仅当是Noether模。

命题 Noether模具有如下性质：

1. Noether模的子模和商模均为Noether模。
2. 如果和是Noether模，且
   
   是短正合列，则是Noether模。
3. Noether模的有限直和仍然是Noether模。
4. 如果都是Noether模，则也是Noether模。
5. 设是Noether环，是有限生成-模，则是Noether模。

有限生成-模的子模不一定有限生成 考虑正则模，其中是交换幺环，则由单位元有限生成，它的子模即为的理想，因此为了构造一个这样的反例，只需寻找某个环，它的某个理想并不有限生成，自然的想法是考虑某个非Noether环，例如考察二元多项式环的子环，该子环不是Noether环：理想升链不稳定，因此根据Noether环的等价刻画，中存在某个理想不是有限生成的(直觉上可取)，故虽然是有限生成的，子模却不是有限生成的。

Artin环与Artin模

Artin Ring and Artin Module

给定交换环，以如下方式定义Artin环和Artin模：

1. 如果满足降链条件(DCC)，即的任意理想降链 都稳定，换言之，存在整数使得对任意成立，则称是Artin环。
2. 如果满足降链条件(DCC)，即的任意子模降链 都稳定，换言之，存在整数使得对任意成立，则称是Artin模。

是Artin模的等价刻画：

1. (DCC条件) 中任意子模降链均稳定；
2. (极小性条件) 内任意非空子模族内都有极小元，即存在使得对于任意的和都有。

命题 设是Artin环，则

1. 环中只有有限多个极大理想，即的极大谱是有限集合。
2. 商环同构于
   
   是有限多个域的直积。
3. 环中的素理想都是极大理想，理想是中所有幂零元构成的理想，且存在正整数使得。
4. 有如下环同构
   
   其中的都是Artin环，且有唯一极大理想。
5. Artin环都是Noether环。
6. 。

局部化

局部化是抽象代数中由整环构造分式域这一想法在一般的环和模上的推广，通过局部化可以引入乘法逆元。

Why do the Localization of a Ring?
Localization is a technique which allows one to concentrate attention to what is happening near a prime, for example. When you localize at a prime, you have simplified abruptly the behavior of your ring outside that prime but you have more or less kept everything inside it intact.
For lots of questions, this significantly simplifies things.
Indeed, there are very general procedures, in lots of contexts, which go by the name of localization, and their purpose is usually the same: if you are lucky, the problems you are interested in can be solved locally and then the “local solutions” can be glued together to obtain a solution to your original problem. Moreover, an immense deal of effort has been done in order to extent the meaning of “local” so as to be able to apply this strategy in more contexts: I have always loved the way the proofs of some huge theorems of algebraic geometry consist more or less in setting up an elaborate technology in order to be able to say the magical “It is enough to prove this locally”, and then, thanks to the fact that we worked so much in that technology, immediately conclude the proof with a “where it is obvious”.
Of course, all sort of bad things can happen. For example, sometimes the “local solutions” cannot be glued together into a “global solution”, &c. (Incidentally, when this happens, so that you can do something locally but not glue the result, you end up with a cohomology theory which, more or less, is the art of dealing with that problem)

环的局部化

称交换环上的乘法含幺半群，即是的子集且满足

1. 含幺：；
2. 乘法封闭：蕴含；

为上的乘性集(或乘法集)。给定交换环和其上的一个乘性集，可以在上定义一个等价关系“”：考虑，如果

则称。记在这一等价关系在中诱导的等价类形如，并记所有等价类组成的集合为，称为在处的局部化。

关于等价类的加法和乘法是一个含幺交换环，其中等价类的加法和乘法为：

不难验证这样定义的加法和乘法的良定性，并且在这样的加法和乘法下满足环的公理，其中单位元为，乘法的交换性是显然的。

现在考虑如下典范环同态：

可以验证将映到单位群中，更确切地讲，任给，在内都有逆元。此外我们还有如下观察：

1. 当是整环时，是单同态，此时也是整环；
2. 如果，则。

注：当时，可以验证任意都有，所以这种情况下，此时平凡，因此一般在做局部化时选取的乘性集都不包含。常见的乘性集包括：，， (是的素理想，)。
事实上，只需检验是否与相同即可说明，当且仅当。

现在给出环的局部化的泛性质：给定环同态，如果在内某个乘性集上的限制的像都是中的单位，则存在唯一的环同态使得，如下图所示。

环的局部化的泛性质

事实上，整环的分式域是在处的局部化，即。只需验证满足局部化的泛性质：注意到和之间存在典范同态，而对于任意从环到域的单同态都有唯一的域嵌入使得。

模的局部化

相比于环，模具有更多的可供利用的性质，比如模范畴作为Abel范畴，其上可以谈论正合列和函子的整合性，在此基础上可以得到众多强大的结论，而环范畴并不是Abel范畴，所以在这一点上天然地不如模范畴性质更好，因此模的局部化是一个更有价值的话题。

给定交换环以及-模，是上的乘性集，在集合上定义等价关系“”：，当且仅当

可以验证满足自反、对称和传递性，从而确实是一个等价关系，于是与之前类似，记在这一等价关系下的等价类为，并记所有等价类构成的集合为，称为模在处的局部化。在上定义加法和-乘：

这两个运算的良定性可以通过等价关系的定义直接验证，并且关于加法构成交换群，-乘具有恒等元、满足结合律和分配律，于是是-模。注意到借助之前的典范映射，可以定义-乘：

因此也可以视作-模。另外，可以类似地定义模的局部化的典范同态

现在给出模的局部化的泛性质：设是-模，是-模。如果是-模同态，那么存在唯一的-模同态使得，即下图交换。

模的局部化的泛性质

关于模的局部化的一个重要结论是它与基变换之间的联系：

命题 存在与作为-模的之间的自然-同构：

要证明以上结论只需说明良定、是一个-模同态，并且存在一个逆映射，良定性的验证需要使用到张量积的性质，验证同态是平凡的，最后逆映射的构造可以借助张量积的泛性质：注意到

是一个双线性映射，根据张量积的泛性质可知存在唯一的-模同态

直接验证可知是的逆映射。

上述同构的“自然”之处在于它揭示的是范畴间函子的性质：函子

是一个正合函子。因为自然是右正合的，所以为了证明上述结论只需说明是一个平坦模。要看到这一点首先需要注意到给定-模同态，使用上述自然同构可知以及，而另一方面，模的局部化同时诱导了模同态的局部化：

同时基变换也诱导了张量积的基变换：

事实上，如下图表交换，从而如果是一个单同态，则交换性保证也是一个单同态。

模的局部化与张量积的联系

又因为下述命题成立：

命题 设是-模，是上的乘性集，函子

是一个正合函子。

（这一命题的证明几乎是平凡的，只需直接验证正合列

诱导的

也是一个正合列。）

基于以上命题，给定正合列

考虑如下图表，由函子的正合性可知是单射，而下述图表的交换性保证的交换性，由此可知是平坦-模，从而是一个正合函子。

是平坦-模

扩张与收缩

对于环中的理想，称为在中的扩张理想；对于局部化环中的理想，称是在中的收缩理想。

现在中的理想与中的理想具有扩张和收缩两种关系：

从左到右的映射记作，从右到左的映射记作。自然地，希望考察这两种映射之间的关系，我们有以下事实：

1. 任给中的理想，（先扩张再收缩得到的理想包含原理想）
2. 任给中的理想，（中的理想都是扩张理想）

上述事实说明是满的，而是单的，故局部化作为环，尽管比大，但是中的理想数量要比少。由此可知，如果是Noether环，那么局部化也是Noether环。特别地，我们可以进一步通过考虑这两者的素理想之间的关系以分析它们的素谱：

命题 设是环，是上的乘性集，则中与不交的素理想与中的素理想一一对应：

因此与一般的情况类似，尽管作为环要比更大，但是它的素谱却要比的素谱更小。

最后不加证明地给出一些关于扩张和收缩的性质：设是-模，是上的乘性集，则

1. 如果是-模的子模，那么有
   • ；
   • ；
   • ；
2. ；
3. 。

局部环

令，则是一个含幺半环，进而作为乘性集可以导出一类重要的局部化，记

根据上一个命题可知保证是的素理想。另一方面，对于任意，。

定义 若交换环只有唯一的极大理想，则称是一个局部环。

Criterion of Local Ring

设是交换环，则下列命题等价：

1. 中有唯一的极大理想；
2. 是的极大理想；
3. 存在极大理想使得。

Proof. (1) (2): 如果，则，于是存在使得，因此。

(2) (3): 唯一的极大理想满足要求。

(3) (1): 若，则，故存在，于是，所以，因此，于是是唯一极大理想。

Criterion of Local Module

设是-模，则下列命题等价：

1. ；
2. 对于的任意素理想成立；
3. 对于的任意极大理想成立。

Proof. (1) (2)和(2) (3)是显然的。只需考虑(3) (1)：反证。若，令，则的零化子

是的一个真理想()。如果，那么并且，这与矛盾。

命题 设是整环，将视作是的子环，则有

Proof. 由于是单射，因此。现在取任意的，考虑

于是当且仅当。下面使用反证法说明：如果，那么是的一个真理想，因此存在极大理想使得。因为，所以存在和使得，即，于是，这与矛盾。

Example. 最后给出几个例子：

1. 任给，是Artin局部环，其中的极大理想为；
2. 设是域，是形式幂级数环，即
   
   则是局部环，且唯一极大理想为，对应的元素构成的子环。
3. （局部与整体）设是两个-模，是模同态，则下列命题等价：
   1. 是单射；
   2. 对于的任意素理想，是单射；
   3. 对于的任意极大理想，是单射。

整性

环的整扩张类似于域的代数扩张：

定义 设是的子环，，则

1. 元素称为在上整是指存在首一多项式使得；
2. 如果中的每个元素都在上整，则称是在上整的，称是的整扩张；
3. 称中所有在中整的元素构成的集合为在内的整闭包；
4. 如果在中的整闭包等于，则称在中整闭；
5. 特别地，称整环在内的整闭包为的正规化。如果在内整闭，即的正规化是它自身，则称是整闭的。

Integral over

设，是的子环，则如下条件等价：

1. 在上整；
2. 是有限生成-模；
3. 存在作为-模有限生成的子环使得且。

其中的是包含和的最小子环，称为和生成的子环：

Proof. (1) (2): 根据定义，在上整说明存在首一多项式使得，于是(此处使用到了定义中要求的首一性)

进而可以看出当时，可由生成，因此由有限生成。

(2) (3): 取。

(3) (1): 设作为-模由生成。因为是环，则由有，因此有

此即

对于任意的成立。现在令，，，则上式可以写作。令矩阵的伴随矩阵，则

因此

又因为，所以，因此。由于是上的首一多项式，所以在上整。

推论 设是的子环，，则

1. 如果都在上整，则和也在上整；
2. 在中的整闭包是中包含的子环；
3. 如果是子环，在上整，在上整，则在上整，即整性具有传递性。

Proof. (1) 根据上一个定理(1到2)，当在上整，和都是有限生成-模，设由生成，由生成，则由。注意到作为有限生成的-模同时也是子环，再次使用上一定理(3到1)可知中的任意元素都在上整，所以在上整。

(2) 由(1)可知在中的整闭包关于的加法、减法和乘法封闭，因此是的子环。

(3) 设在上整，则存在某首一多项式零化。又因为该多项式的系数在上整，所以根据上一个定理(1到2)可知是有限生成-模，使用类似于(1)的方法可以归纳地发现是有限生成-模，从而也是有限生成-模，因此由上一命题(3到1)可知在上整。

于是不难看出在中的整闭包在上整闭。

Going-up Theorem

设是环的子环，是的整扩张，则

1. 如果是整环，则是域当且仅当是域；
2. (整扩张下素理想的对应关系) 设，则存在使得。进一步地，当且仅当；
3. (Going-up) 如果关于中的素理想升链 存在中的一条较短的素理想升链 其中，满足，则可以完备化此升链，即存在的素理想使得 是中的素理想升链，并且满足。

Proof. (1) 如果是域，则中的任意非零元素在上整，即存在使得

因为是整环，故，否则，是一个零因子。是域，因此可逆，所以

这说明可逆，即中的任意非零元都可逆，故是域。

反过来，如果是域，作为的子环，其中的任意非零元在中都可逆，即存在，又因为在上整，因此存在使得

因此

所以在中可逆，因此是域。

(2) 若是中的素理想，则是和中的乘性集，于是有如下交换图表

可以由在上整(左列为整扩张)证明在上整(右列为整扩张)。现在令是中的任意极大理想，不难看出是中的一个极大理想，而局部环有唯一极大理想(参见上一节)，因此，令，则，且。

接下来证明第二个断言。注意到在上整，因此是域当且仅当是域，即是极大理想当且仅当是极大理想。

(3) 只需证明当，的情形，对于一般的的情况使用归纳法即可：如果，且，下面证明存在满足，并且。

注意到保证了是的整扩张：

对于任意的，因为在上整，因此存在首一多项式使得，即

由于，因此，否则

这与矛盾。故。

于是根据上面的第二条结论可知存在中的素理想使得，因此的原像即为中包含的素理想，并且满足。

Remark. 定理的第一条结论有如下推论：如果是整环但非域，，是域，则有限生成。

上述定理的第二条建立了如下的一一对应关系：

关于第三条结论，即上升定理，有与之对应的下降定理：

Going-down Theorem

设是整环的子环，是的整扩张，且整闭，则给定中的素理想降链 如果存在中的一条较短的素理想降链 其中，满足，则可以完备化此降链，即存在的素理想使得

定义 设是一个有限域扩张(是的扩域)。对于，令是-线性映射。

1. 称作为线性映射的迹为关于的迹；
2. 称的行列式为关于的行列式；
3. 称对称-双线性映射
   
   为关于的迹形式。

使用以上工具可以证明：如果是扩张次数为的有限可分扩张，则

1. 设在上的最小多项式为，则
   
2. 迹形式是非退化二次型。

进而可以证明以下定理：

Integral Closure

设是整闭的整环，，考虑的有限可分扩张，在中的整闭包是秩为的某自由-模的子模。

关于整闭，有最后一个重要的刻画：设是整环，则以下条件等价：

1. 整闭；
2. 对于任意的，整闭；
3. 对于任意的，整闭。

代数整数

定义 设是有理数域的扩域，

1. 如果在有理整数环上整，则称是上的代数整数 (algebraic integer)；
2. 称在上的整闭包，即中代数整数的全体组成的集合，为域的代数整数环 (ring of algebraic integers)，记作。

命题 是代数整数当且仅当是代数数，并且在中的最小多项式属于。

命题 设是有限扩张，则作为-模是自由模，且秩为的扩张次数。

命题 以下结论成立：

1. 设是代数整数，则的共轭元也是代数整数；
2. 设是个次单位根。如果是代数整数，则或者。

根式理想与准素理想

根式理想

任给环的理想，令

可以验证是环的一个理想，并且是商环的诣零根，即

另外，直接验证可知，。

定义 称为理想的根理想(radical ideal of )。特别地，如果，则直接称是根理想。

根据根理想的定义，所有素理想，进而所有极大理想，都是根理想。事实上，任意理想的根理想都是包含该理想的素理想的交：

Radical Ideal

设是环，是的理想，则 特别地，当时有

Proof. 由于，根据环的对应定理可知为了说明上述定理只需证明

下面我们说明上式两端的相互包含关系。

一方面，如果，则，因此。另一方面，如果，则集合

是中的一个真理想族。由于，故非空。现在令是集族关于集合包含关系的一个极大元，下面说明：反证，如果而，则存在使得

因此，这与相矛盾，因此或，故是素理想。于是

从而。证毕。

定义 环的 Jacobson根 (Jacobson radical) 是内所有极大理想的交，即

也记做。

当是Artin环时，因为，所以

特别地，时，。

命题 如果是Noether环，则对于任意，存在使得。特别地，存在使得。

最后给出一个关于Jacobson根的著名结论：中山引理。

Nakayama Lemma

如果是有限生成-模，且，则。

让我们先承认上述引理的正确性，则作为一个推论可知，如果有限生成，，且，则。

准素理想

定义 给定环及它的某个理想，如果，其中，且，那么存在使得，则称为的准素理想(primary ideal)。

准素理想满足以下性质：

1. 素理想都是准素理想；
2. 是准素理想当且仅当中的零因子都是幂零元；
3. 如果是准素理想，则是素理想，并且是包含的最小素理想；
4. 如果的根式理想是极大理想，则是准素理想；
5. 如果是极大理想，，则是准素理想且。

定义 给出以下一系列定义：

1. 如果是准素理想，称是的相伴素理想，同时称是-准素理想。
2. 如果中的理想是准素理想的交，则称有准素分解，亦称
   
   为的准素分解，其中是的准素理想。
3. 当理想的准素分解满足以下条件时，称该分解为极小准素分解：
   1. 对于所有的都有；
   2. 任意都有。
4. 如果理想不是不同理想的交，即若，那么或，则称是不可约理想。

Example. 素理想都是不可约理想。

命题 设是Noether环，则

1. 不可约理想都是准素理想；
2. 中的真理想都是不可约理想的有限交。

引理 若和都是交换环的-准素理想，则也是-准素理想。

Existence of Minimal Primary Decomposition

设是Noether环，则的每个真理想都有极小准素分解 且由唯一决定。

命题 设是的一个准素分解，其中，则

1. 素理想当且仅当存在，；
2. 。
3. 如果是Noether环，则包含有限多个素理想的乘积。

仿射代数几何初步

定义 设是交换环，是环(可能非交换)。如果存在环同态使得的像包含于的中心，即对任意和，有，则称是一个-代数。

根据以上定义，-代数不仅具有自身的环结构，还具有-模结构，其中乘由环同态诱导：

如果代数作为环在子环上是有限生成的，则称是一个有限生成-代数。

现在考虑-代数之间的同态。给定-代数和，如果映射是一个环同态，并且保持-模结构，即对任意和，有，则称是一个-代数同态。

最重要的一类-代数是是某个域的情形，下面重点讨论域上的代数。

域上的代数

首先，考虑-代数的性质比较好的情况。如果是一个有限生成-代数，并且是交换环，根据上述定义，作为交换环在子环上是有限生成的，不妨设是一组生成元，此时是单射，因此可将视作是的子环，则根据多项式环的泛性质可知存在环的满同态

并且上述同态保持域，即对于任意的，都有。可以验证映射是一个-代数满同态，因此诱导同构

由Hilbert基定理可知多项式环是Noether环，因此商环也是Noether环，从而有限生成交换-代数都是Noether环。

仿射空间

定义 定义域上的维仿射空间(affine space)为集合

当不会引起混淆时，简记为。的坐标环(coordinate ring)为

即上的元多项式环。

现在我们引入几何对象：仿射代数集，它实际上是内一些元多项式的公共零点集。

定义 设是某一子集，定义的零点集(零轨迹，zero locus)为

如果是有限集，则记

考虑的子集合，如果存在某使得，则称是一个仿射代数集(affine algebraic set)。

仿射代数集具有以下性质：

1. 反包含：如果，则；
2. 有限生成：记为在中生成的理想，则有限生成，并且
   
3. 任意多个仿射代数集的交集仍然是仿射代数集：如果是的某一子集族，则
   
4. 有限多个仿射代数集的并集仍然是仿射代数集：如果，则
   
5. ，都是仿射代数集。

其中第二条结论依赖于是上的元多项式环，根据Hilbert基定理可知它是一个Noether环，从而其中任意理想都是有限生成的。其他四条结论的证明都是直接的。

根据性质二，可被视作如下理想到仿射代数集的映射：

与之对应，现在考虑另一个映射，它将仿射代数集映射到理想：

其中

可以验证确实是的一个理想，并且是在上取值为0的所有理想中的极大元。称为在中的零化理想。

零化算子满足如下性质：

1. 是根理想，即；
2. 反包含：如果，则；
3. 有限交：；
4. 。另外，如果是无限域，则。

上述两个算子与满足如下关系：

1. 如果，则；
2. 如果，则；
3. 当是一个仿射代数集时，；
4. 当是代数封闭域而时， (Hibert零点定理)。

仿射代数集

接下来分析仿射代数集上的结构。

定义 设是一个仿射代数集，定义的坐标环为

当是无限域时，，于是，因此上述定义相容于之前在整个仿射空间上的定义。

注意到如下事实：

1. 任给，可以将它限制在某个仿射代数集上得到。不难看出当且仅当，因此可以定义上的一个等价关系：当且仅当，从而是在这一等价关系下的商环，因此对于任意的，任取是在中的代表元，则可由在上的限制给出：
   
2. 是有限生成交换-代数，从而根据之前的分析可知是一个Noether环。(是元多项式环自然关于有限生成)

定义 设、都是仿射代数集。给定映射，如果存在使得

对于任意的都成立，则称是代数集到的态射。特别地，如果存在另一个态射使得，，则称是一个同构。

需要注意：给定态射，相应的多项式组的选取可能不是唯一的。

下面讨论仿射代数集之间的态射与坐标环之间的-代数同态之间的关系，主要的结论是如下定理：

Morphism and Algebra Homomorphisms

给定仿射代数集和，则存在一一对应 满足以下条件：

1. 对于任意的-代数同态，存在唯一态射使得；
2. ；
3. 是同构当且仅当是同构。

一方面，如果给定态射，则可以定义

可以验证上述映射是一个良定的-代数同态，与的选取无关。

另一方面，如果是一个-代数同态，那么记

因为是保持加法和数乘的代数同态，所以对于任意的都有

于是如果，则。由和选区的任意性可知

因此可以定义

这样的就是一个从到的态射，可以验证它与的选取无关且。

Hilbert零点定理

Hilbert's Nullstellensatz

设是代数封闭域，则 对于任意的都成立。于是与给出内根理想全体和中的仿射代数集族之间的一一对应 特别地，如果是的真理想，则。

Hilbert零点定理的证明依赖于以下Noether正规化引理：

Noether正规化引理 设是域，是有限生成-代数，则存在整数以及在上代数独立的元素使得在上整。

这一引理的证明可以通过关于使用数学归纳法完成，需要使用到整性的传递性。

在正式证明Hilbert零点定理之前，往往会先证明一个弱形式的Hilbert零点定理：

Hilbert零点定理(弱形式) 设是代数封闭域，理想是多项式环的极大理想当且仅当。特别地，如果是的真理想，则。

上述结论证明过程中需要说明是有限域扩张，其中，而在代数封闭域上整，因此。

仿射代数集上的拓扑

仿射代数集上的拓扑结构可以通过Zariski拓扑给出，这里需要使用闭集形式的拓扑结构，闭集形式的拓扑公理如下：集合上的拓扑是指满足以下条件的子集族，其中的元素称为闭集：

1. ；
2. 关于任意交封闭；
3. 关于有限并封闭。

回忆之前的讨论可以发现，仿射代数集天然满足以上三条公理，因此可以充当仿射空间内的闭集，从而指定上的拓扑结构，我们就将这一拓扑结构称为Zariski拓扑：

定义 仿射空间以其上的仿射代数集为闭集的拓扑称为Zariski拓扑。

Example. 当是，的Zariski拓扑中的闭集要么是有限集，要么是全集，此即所谓的有限补拓扑。当是无限集合时，相应的Zariski拓扑总是的，但却不是的。

定义 设是非空仿射代数集。如果对于，其中的都是仿射代数集，必有或者，则称是不可约的，否则称是可约的。不可约仿射代数集称为仿射簇。

不可约分解 设是非空仿射代数集。

1. 不可约当且仅当是素理想。换言之，是仿射簇当且仅当其坐标环是整环。
2. 可唯一表示成如下形式：
   
   其中都不可约，且对任意的都成立。

Remark. 理想的准素分解(代数)对应于代数集的不可约分解(几何)。

交换环素谱上的拓扑

之所以要研究素谱上的拓扑而非极大谱，是因为尽管在配备通常的Zariski拓扑后中的单点集都是闭集，从而有相当简单明了的构造，遗憾的是这份简单稍微有些过头以至于显得无聊，与之形成对比的是上相应的拓扑有着更丰富的结构，例如中存在非闭点，与一般的闭点相比，这些非闭点的性质更为有趣。这些原因驱使我们研究上的拓扑结构。

定义 设，，则在处的值为定义为

因此当且仅当。

定义 设是的子集。的零点集定义为素谱的子集

也即

设是的子集，的零化理想定义为环的理想

与在仿射空间上的情形类似，，因此下面只需考虑是理想的情形。根据定义可以直接验证下面的性质成立。

命题 映射和满足如下性质：

1. 给定，有和；
2. 对于任意理想，有；
3. 一般地，对于一列理想，有
   

由以上命题可知

满足闭集公理，因此可以定义上的拓扑结构，称以上面这类集合作为闭集的拓扑为素谱上的Zariski拓扑。

根据这一定义，单点集是中的闭集当且仅当

即是一个极大理想，从而是中全体闭点构成的集合。

与之前类似，可以定义上的不可约闭集，即若满足，其中都是闭集，则或者，此时称是不可约的。可以证明不可约当且仅当是素理想。

命题 映射和定义互逆双射：

上述对应将中的闭点集对应到中的极大理想，中的不可约闭集对应到中的素理想。

Gröbner基

之前已经看到，如果是域，从而是一个Noether环，则根据Hilbert基定理可知多元多项式环也是Noether环，从而其中的理想都是有限生成的。现在任给，希望寻找的一组足够好的生成元，即的Gröbner基。进一步回答将以下问题：

1. 如何判断某多项式是否属于某个？
2. 如何判断某多项式是否属于，其中？
3. 怎样判断的两个理想是否相同？

域上多元多项式环的带余除法

首先来明确一些定义：

1. 集合称为偏序集是指上存在二元关系，且该关系满足自反性、反对称性和传递性(称这样的为一个偏序)。注意：偏序集中的元素不一定可以相互比较。
2. 如果偏序集中的任意非空子集都有最小元，则称该偏序集是一个良序集。注意：区分“最小元”和“极小元”。良序集中的任意两元素可以相互比较。
3. 如果集合中的偏序”“是良序，并且与中的加法相容，即
   
   则称序关系“”是一个单项式序。
4. 给定中的一个单项式序。对于，可以将它写成如下形式
   
   定义是的首项，为的次数。如果，则称是首一多项式。
5. 以下述方式定义中的一个偏序：当且仅当或者的第一个非零分量为正。称这样的偏序为上的字典序。可以验证字典序是一个单项式序。
6. 类似地，可以定义上的另一个偏序：当且仅当，或，或但。称这样的偏序为上的次数-字典序。可以验证次数-字典序也是单项式序。

使用这些定义可以直接验证以下事实：

1. 设“”是上的一个单项式序，，如果中存在某个单项式为满足，那么令
   
   则有
   1. 当时，或者；
   2. 当时，且。
2. 设“”是上的一个单项式序，，则
   1. 若，则，；
   2. ，因此；
   3. 若，则；
   4. 。

其中第一个结论中的操作是下面将要介绍的带余除法的关键步骤，通过选取合适的，可以不断地将中的首项消去，从而逐步降低的次数。

Division with Remainder

设“”是上的一个单项式序。给定，是中的元有序多项式组，存在算法可以给出使得 并且满足

1. 模是约化的；
2. 对于任意成立。

称这样得到的为模的余数。 注意：得到的依赖于中的排列顺序。

Proof. 上述带余除法的算法在下面以伪代码的形式给出：

Algorithm: Division with Remainder

Input: , .

Output: .

Initialization: Let , for .

While is not reduced by

Find *smallest* s.t. for some monomial in ;
;
;
If , set .

End While

Return .

为了说明该定理的正确性，只需证明上述算法在有限步内终止即可：给定，，则

上述表示使用降序排列，即。记，称是以为字母表的一个文字(word)，令是上全体文字的集合，并在上采用字典序，可以验证是一个良序。如果中含有非零项，使得，则有

因此必定是约化的，而从到的过程是有限的，因此带余除法的算法在有限步内终止。又因为上述算法给出的模是约化的，而每个都是形如的多项式，因此满足定理中的要求。证毕。

Gröbner基和Buchberger算法

如上一小节最后的定理所述，使用一般的进行带余除法时，得到的余数依赖于的排列顺序，而Gröbner基的作用就是消除这种依赖性：当是的Gröbner基时，带余除法的结果与的排列顺序无关，从而这组生成元上可以比较好地刻画的结构，通过分析理想的Gröbner基之间的关系，可以判断两个理想是否相同。

Gröbner基 设是的理想，如果多项式集合生成，并且对于任意的，都存在使得，则称为的Gröbner基。

Gröbner基的判定 集合是的Gröbner基当且仅当对于任意的置换，对于任意的，模的余数为0。

使用Gröbner基进行带余除法得到的余数与排列无关 设是的Gröbner基，则对于任意，存在唯一的，模是约化的，并且。事实上，是模的余数，其中是中的任意置换。

由此我们可以回答这一节开头的第一个问题：当且仅当模的Gröbner基的余数为0。

接下来介绍如何构造的Gröbner基，为此需要先引入一个定义：

-多项式 对于，定义，其中。给定，记，，定义的首项为

以及的-多项式为

上式也可以写为

当和都是单项式时，。

引理 给定以及相应的一列单项式，令。如果

1. ；
2. 对于任意的都有；

则对于任意的，存在使得

其中的，而且

以上引理实际上给出了通过-多项式判定Gröbner基的方法，后续的Buchberger算法基于这一方式判定算法的终止时刻。

使用-多项式判定Gröbner基 集合是的Gröbner基当且仅当对于任意的，模的余数都为0。

一个简单的观察是，如果中的都是单项式，则恰好是的Gröbner基。

下一个定理是本节的核心结论。

Buchberger Theorem

给定的一组生成元，由以下Buchberger算法可以得到的Gröbner基。

Buchberger Algorithm

Input: Ideal , .

Output: Gröbner basis of : .

Initialization: Set , .

While exist () s.t.

Let ;
Update
Add to the end of ordered set : ;

End While

Return .

Proof. 同样只需说明上述算法必将在有限步内终止。注意到当时

因此在算法中，若，则

所以每经过一次循环就有

于是这样就得到了中的一条理想严格升链。由于根据Hilbert基定理，是Noether环，因此这样的升链必将长度有限，故算法在有限步内终止。证毕。

最后，来回答本节开头的问题：

1. 如何判断某多项式是否属于某个？— 求出的Gröbner基，考察模Gröbner基的余数是否为0；
2. 如何判断某多项式是否属于，其中？— 等价于判定的理想中是否包含1，于是问题转化为上一个问题。
3. 怎样判断的两个理想是否相同？— 求出两个理想的Gröbner基，记为和，则这两个理想相同当且仅当